Buy Used and New Donald Sannella Books

Algebraic System Specification and Development: A Survey and Annotated Bibliography: 501 (Lecture Notes in Computer Science)

by Fernando Orejas,Michel Bidoit,Hans-J??rg Kreowski,Donald Sannella,Pierre Lescanne

ISBN 13: 9783540540601

Format: Paperback (112 pages)
Publisher: Springer
Published: 26 Jun 1991

Save for later

Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings (Lecture Notes in Computer Science)

by Donald Sannella

ISBN 13: 9783540578802

Format: Paperback (532 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers: 332 (Lecture Notes in Computer Science)

by Andrzej Tarlecki,Donald Sannella

ISBN 13: 9783540503255

Format: Paperback (276 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)

by Donald Sannella,Michael Fourman,Haoran Peng,Philip Wadler

ISBN 13: 9783030769079

Format: Paperback (382 pages)
Publisher: Springer
Published: 30 Sep 2021

Save for later